Prof. C. G. Seligman, F.R.S

Prof. Dr. Prof. Prof.

A Seligman-Style Tableau System

Proof systems for hybrid logic typically use @-operators to access information hidden behind modalities; this labeling approach lies at the heart of most resolution, natural deduction, and tableau systems for hybrid logic. But there is another, less well-known approach, which we have come to believe is conceptually clearer. We call this Seligman-style inference, as it was first introduced and e...

Vaccination .B. C. G

This article was presented by the author at the Vaccination Seminar of May 26, 1972, National University Medical School.

(C; C\')-Controlled g-Fusion Frames in Hilbert Spaces

Controlled frames in Hilbert spaces have been recently introduced by P. Balazs and etc. for improving the numerical efficiency of interactive algorithms for inverting the frame operator. In this paper we develop a theory based on g-fusion frames on Hilbert spaces, which provides exactly the frameworks not only to model new frames on Hilbert spaces but also for deriving robust operators. In part...

Molecular structure of the octamer d(G-G-C-C-G-G-C-C): modified A-DNA.

The deoxynucleotide fragment d(GpGpCpCpGpGpCpC) was synthesized and crystallized, and its three-dimensional structure was determined by x-ray diffraction techniques to a resolution of 2.25 A. The molecule forms a right-handed double helix in which the two base pairs at either end of the molecule are in the conventional A-DNA conformation, while the central four base pairs have a modified form i...